<html>
<head><meta charset="utf-8"><title>tomorrow&#x27;s focus? · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html">tomorrow&#x27;s focus?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="181132700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181132700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181132700">(Nov 19 2019 at 17:10)</a>:</h4>
<p>Not sure what we should do tomorrow, curious to hear thoughts -- seems like both <span class="user-mention" data-user-id="116113">@lqd</span> and <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> are working on the coding side of things, I could try to explore the equality stuff some tomorrow? update docs? not sure.</p>



<a name="181132757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181132757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181132757">(Nov 19 2019 at 17:10)</a>:</h4>
<p>either the equality stuff or higher ranked subtyping with chalk ?</p>



<a name="181132781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181132781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181132781">(Nov 19 2019 at 17:11)</a>:</h4>
<p>I think that <a href="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw?edit" target="_blank" title="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw?edit">the rules hackmd</a> is fairly complete at this point, modulo some naming inconsistencies</p>



<a name="181132842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181132842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181132842">(Nov 19 2019 at 17:11)</a>:</h4>
<p>(er and modulo equality)</p>



<a name="181132927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181132927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181132927">(Nov 19 2019 at 17:12)</a>:</h4>
<p>omg how could I forget I had gathered the rules for the equality work <span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span></p>



<a name="181132955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181132955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181132955">(Nov 19 2019 at 17:12)</a>:</h4>
<p><a href="https://github.com/lqd/datapond/blob/master/tests/flow_sensitive_equality_rules.rs" target="_blank" title="https://github.com/lqd/datapond/blob/master/tests/flow_sensitive_equality_rules.rs">https://github.com/lqd/datapond/blob/master/tests/flow_sensitive_equality_rules.rs</a> <span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span></p>



<a name="181132965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181132965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181132965">(Nov 19 2019 at 17:12)</a>:</h4>
<p>I'm going to have less time tomorrow, but I'll try to steal a few hours</p>



<a name="181133064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181133064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181133064">(Nov 19 2019 at 17:13)</a>:</h4>
<p>I’ll try to at least implement Niko’s changes to my rules for initialisation</p>



<a name="181133139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181133139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181133139">(Nov 19 2019 at 17:14)</a>:</h4>
<p>nice</p>



<a name="181133176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181133176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181133176">(Nov 19 2019 at 17:14)</a>:</h4>
<p>I’m suggesting my next focus is measureme</p>



<a name="181133230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181133230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181133230">(Nov 19 2019 at 17:15)</a>:</h4>
<p>that would be worthwhile as well</p>



<a name="181133235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181133235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181133235">(Nov 19 2019 at 17:15)</a>:</h4>
<p>For Polonius, not fact generation</p>



<a name="181133302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181133302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181133302">(Nov 19 2019 at 17:15)</a>:</h4>
<p>I’m imagining a larger fact generation restructuring later, and I think profiling fits nicely into that</p>



<a name="181142210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181142210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181142210">(Nov 19 2019 at 18:50)</a>:</h4>
<p>One question <span class="user-mention" data-user-id="116113">@lqd</span> that might be worth talking over tomorrow is whether we can get a version of the naive rules that performs "reasonably" -- e.g., by limiting ourselves to only those loans that are invalidated anywhere or something -- I know you had various bits of work in that direction? I'm just thinking that all these different PRs would be easier to land if they only had to contend with the naive rules</p>



<a name="181143483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181143483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181143483">(Nov 19 2019 at 19:03)</a>:</h4>
<p>true</p>



<a name="181143600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181143600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181143600">(Nov 19 2019 at 19:04)</a>:</h4>
<p>this should be super easy however iiuc</p>



<a name="181143652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181143652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181143652">(Nov 19 2019 at 19:05)</a>:</h4>
<p>except the results are a bit unclear now</p>



<a name="181143815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181143815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181143815">(Nov 19 2019 at 19:06)</a>:</h4>
<p>it would also need adjustments to account for placeholder loans</p>



<a name="181143890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181143890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181143890">(Nov 19 2019 at 19:07)</a>:</h4>
<blockquote>
<p>except the results are a bit unclear now</p>
</blockquote>
<p>what results are unclear?</p>



<a name="181143943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181143943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181143943">(Nov 19 2019 at 19:08)</a>:</h4>
<p>and with the placeholder loans live everywhere I’m not sure how the filtering would impact things</p>



<a name="181143990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181143990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181143990">(Nov 19 2019 at 19:08)</a>:</h4>
<p>the performance results over a bigger set of benchmarks</p>



<a name="181144050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181144050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181144050">(Nov 19 2019 at 19:09)</a>:</h4>
<p>it was very effective on clap-like datasets where a lot of work was effectively done to not find any errors</p>



<a name="181144102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181144102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181144102">(Nov 19 2019 at 19:09)</a>:</h4>
<p>it’s probably not as extreme everywhere</p>



<a name="181144511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181144511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181144511">(Nov 19 2019 at 19:14)</a>:</h4>
<p>I mean, it can’t hurt (if we are careful) :)</p>



<a name="181145282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145282">(Nov 19 2019 at 19:22)</a>:</h4>
<blockquote>
<p>the performance results over a bigger set of benchmarks</p>
</blockquote>
<p>OK, I see. I tend to think we should land it regardless, but the real benchmark I suppose (right now) is the "time to run a x.py test run" ?</p>



<a name="181145294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145294">(Nov 19 2019 at 19:22)</a>:</h4>
<p>that is, I still think we want to get to the place where we are testing with <code>x.py test --compare-mode=polonius</code> pretty regularly</p>



<a name="181145318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145318">(Nov 19 2019 at 19:22)</a>:</h4>
<p>but I don't really care that much about overall perf <em>just now</em> so long as a test run can complete in a reasonable amount of time</p>



<a name="181145395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145395">(Nov 19 2019 at 19:23)</a>:</h4>
<p>ah but the tests did pass with the prototype filtering (except the OOMs in fact generation)</p>



<a name="181145496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145496">(Nov 19 2019 at 19:24)</a>:</h4>
<p>and yes agreed, let’s land this soon</p>



<a name="181145588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145588">(Nov 19 2019 at 19:25)</a>:</h4>
<p>it’d be great to be able to run the compare mode on CI, I feel we’re pretty close to being able to do that</p>



<a name="181145718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145718">(Nov 19 2019 at 19:26)</a>:</h4>
<p>(the time it takes to run tests did seem acceptable)</p>



<a name="181145928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181145928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181145928">(Nov 19 2019 at 19:28)</a>:</h4>
<p>all this rambling to say, yes, it could be an interesting topic on which to spend a bit of time tomorrow :)</p>



<a name="181209200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181209200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181209200">(Nov 20 2019 at 14:02)</a>:</h4>
<p>Hey y'all :)</p>



<a name="181209202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181209202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181209202">(Nov 20 2019 at 14:02)</a>:</h4>
<p>I may not be able to stick around quite as long today</p>



<a name="181209218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181209218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181209218">(Nov 20 2019 at 14:02)</a>:</h4>
<p>I have a last minute errand I have to do before upcoming trip next week and this morning is literally the <strong>only</strong> time I can do it, it seems</p>



<a name="181209411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/tomorrow%27s%20focus%3F/near/181209411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/tomorrow&#x27;s.20focus.3F.html#181209411">(Nov 20 2019 at 14:05)</a>:</h4>
<p>iceland <span aria-label="snowman" class="emoji emoji-2603" role="img" title="snowman">:snowman:</span> :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>